<?php
	slot('title', 'IDE');
	slot('header', '<h1>IDE</h1>');
	slot('side_bar', ' ');
?>

<?php use_helper('Javascript') ?>
<?php echo javascript_include_tag('editarea/edit_area_full_with_plugins.js') ?>
<?php echo javascript_include_tag('editarea/autocompletion.js') ?>
<?php echo javascript_tag("
editAreaLoader.init({
			id: \"theCode\"	// id of the textarea to transform		
			,start_highlight: true	// if start with highlight
			,syntax_selection_allow: \"css,html,js,php,python,vb,xml,c,cpp,sql,basic,pas\"
			,toolbar: \"search, go_to_line, |, undo, redo, |, select_font, |, syntax_selection, |, change_smooth_selection, highlight, reset_highlight, autocompletion, |, help\"
			,allow_resize: \"both\"
			,allow_toggle: false
			,font_size: \"9\"
			,language: \"en\"
			,syntax: \"php\"
			,allow_resize:\"no\"
		});
") ?>
<div id="codeHolder">
	<textarea id="theCode" style="height: 100%; width: 100%;"></textarea>
</div>